PET

Benchmark
Model:ij v.1 (MDP)
Parameter(s)num_tokens_var = 50
Property:stable (prob-reach)
Invocation (default)
../PET-Tool/pet.sh reachability --precision 0.001 --relative-error --only-result -m ij.50.prism -p ij.50.props --property stable
Execution
Walltime:127.00998973846436s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.HashMap.newNode(HashMap.java:1799)
	at java.base/java.util.HashMap.putVal(HashMap.java:631)
	at java.base/java.util.HashMap.put(HashMap.java:612)
	at java.base/java.util.HashSet.add(HashSet.java:220)
	at java.base/java.util.AbstractCollection.addAll(AbstractCollection.java:336)
	at java.base/java.util.HashSet.<init>(HashSet.java:120)
	at de.tum.in.probmodels.model.CollapseView.getChoices(CollapseView.java:105)
	at de.tum.in.pet.sampler.UnboundedSampler.sampleNextState(UnboundedSampler.java:234)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:158)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveMdp(ReachChecker.java:250)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:144)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)